- 直觉主义命题逻辑
- intuitionistic logic: 构造性逻辑; 直觉逻辑; 直觉主义逻辑
- propositional logic: 命题逻辑
- boolean algebra of propositional logic: 命题逻辑布尔代数
- boolean propositional logic, bpl: 是常用的布尔命题逻辑
- formula of propositional logic: 命题逻辑公式
下载手机词典可随时随地查词查翻译
intuitionistic propositional logic中文什么意思
- 直觉主义命题逻辑
下载手机词典可随时随地查词查翻译